Fechar

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3CCLDQS
Repositóriosid.inpe.br/mtc-m19/2012/08.01.11.55
Última Atualização2012:08.01.15.56.31 (UTC) marciana
Repositório de Metadadossid.inpe.br/mtc-m19/2012/08.01.11.55.55
Última Atualização dos Metadados2018:06.05.04.12.35 (UTC) administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoRomeroFerr:2012:ApMoAr
TítuloAn Approach to Model-Driven Architecture Applied to Space Real-Time Software
Ano2012
Data de Acesso17 maio 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho1133 KiB
2. Contextualização
Autor1 Romero, Alessandro Gerlinger
2 Ferreira, Mauricio Gonçalves Vieira
Grupo1
2 CRC-CRC-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Nome do EventoInternational Conference on Space Operations, ( SpaceOps), 12
Localização do EventoStockholm
Data11-15 June 2012
Título do LivroProceedings
Histórico (UTC)2012-12-20 18:32:40 :: marciana -> administrator :: 2012
2018-06-05 04:12:35 :: administrator -> marciana :: 2012
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
ResumoReal-time systems are commonplace in satellites. In this system type, software has become a crucial factor to satellites success projects because its complexity quickly increases, along with cost. Some factors that contribute to increase complexity of software are: it interacts with different kind of hardware, it has several states and for each state commonly a different control law, it has hard-deadlines, and it must have a high level of reliability. Attitude and Orbit Control System (AOCS) is a good example for this type of system. With the necessity to launch more satellites, Brazilian National Institute for Space Research (INPE) has been carrying out research on modeling and verifying real-time software, like a lot of other space agencies and research institutes. The main focus is to obtain a better balance between dependability, schedule, and cost. However, instead of creating one more brand-new, one-of-a-kind approach, method or process, we are trying to use Object Management Group (OMG) specifications, which have been proposed and adopted by community in some degree. Another concern from this INPE research is to be independent from commercial tools establishing itself on open source software. This paper presents a detailed approach to implement Model-Driven Architecture (MDA) in real-time space software based strongly in OMG specifications. It shows how models are defined, linked, verified and transformed, as well as a set of tools for this. We place special emphasis on fUML (Semantics of a Foundational Subset for Executable UML Models) and MARTE (UML Profile for Modeling and Analysis of Real-Time Embedded Systems) that allow us to define a completely executable Platform Independent Model (PIM). At the end, a case study is presented, along with an assessment of the proposed approach. This assessment allowed us to conclude that MDA, following the proposal presented, has advantages versus the current approaches applied to real-time space software development.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > An Approach to...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 01/08/2012 08:55 1.0 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3CCLDQS
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3CCLDQS
Idiomaen
Arquivo Alvoid1230801-Paper-002romero4.pdf
Grupo de Usuáriosmarciana
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
VinculaçãoTrabalho Vinculado à Tese/Dissertação
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F3PAJE
Lista de Itens Citandosid.inpe.br/bibdigital/2013/10.19.00.29 2
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarytype type url volume
7. Controle da descrição
e-Mail (login)marciana
atualizar 


Fechar